University of Tübingen

Programming Research Group - Programmiersprachen und Übersetzer

Prof. Dr. Herbert Klaeren

Klicken Sie hier für eine deutsche Version dieses Texts.

Research topics are: algebraic specification, semantics, verification, programming language design and implementation, programming environments, software engineering, visualization.

Current research projects are:

• Efficient implementation of functional programming languages: current research focuses on semantics and pragmatics of state transformers, partial evaluation and program analysis techniques for optimizing compilers, and the elimination of so-called structural recursion using a bottom-up tree walk.
• Design of a functional language with object-oriented features
• Software engineering and algebraic specification: Algebraic specifications for modules are refined until a constructive specification is reached. Tools assist in the verification of the refinement process. The constructive specification is transformed directly into efficient code using the techniques mentioned above.
• Program visualization and visual programming: A tool generates a graphic image of the module structure of a system under development. This structure is to be edited graphically, generating automatically the corresponding changes in the module texts.
• Modula-2 and Oberon compilers: These are used as test vehicles for advanced compiler construction techniques.
• Toolkit for Modula-2 programming: A variety of tools support the software engineering process in Modula-2. Among the most interesting are m2lint , a Modula-2 extended syntax checker that can point at errors in connection with block nesting and m2struct that analyses the inner structure of a module; it displays the call graph on the X screen or the PostScript printer and analyses the interfaces of procedures.

Last modified: Sun Jul 13 12:57:05 MES 1997